tính nhất trí câu

• Định lí bất toàn thứ nhì, vốn tiếp theo khá thẳng băng từ định lí thứ nhất, chứng minh rằng một trong những điều bạn không thể chứng minh trong một hệ thống hình thức về số học là tính nhất trí của chính hệ thống đó.